641. Mathematical foundations of programming language semantics : 3rd Workshop , Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987: proceedings
پدیدآورنده : M. Main...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
298
642. Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
7
.
M378
1988
643. Mathematical logic and programming language
پدیدآورنده : Hoare, C. A. R.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
644. Mathematical logic and programming languages
پدیدآورنده : / Edited by C. A. R. Hoare, J. C. Shepherdson
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Programming languages (Electronic computers),Logic, symbolic and mathematical
رده :
QA76
.
6
.
M3646
1985
645. Mathematical theory of computation
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Electronic digital computers - Programming,Debugging in computer science
رده :
QA76
.
6
.
M356
646. McGraw-Hill personal computer proghramming encyclopedia
پدیدآورنده : / William J. Birnes
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع : Microcomputers-programming,Programming language (Electronic computers),Operating systems(computers)
رده :
QA
76
.
6
.
M414
1989
R
647. McGraw-Hill personal computer programming encyclopedia
پدیدآورنده : / edited by William Birnes
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Microcomputers- Programming- Dictionaries,Programming languages (Electronic computers)- Dictionaries,Operating systems (Computer)- Dictionaries
رده :
QA76
.
6
.
M414
1989
R
648. Methods of algorithmic language implementation
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming languages )Electronic computers(,، Algorithms
رده :
QA
76
.
5
.
S94
1975
649. Methods of algorithmic language implementation
پدیدآورنده : edited by A. Ershov and C.H.A. Koster
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
47
650. Methods of algorithmic language implementation
پدیدآورنده : edited by A. Ershov and C. H. A. Koster
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages
رده :
QA
76
.
L4
v
.
47
651. Micro Java game developmen
پدیدآورنده : / David Fox and Roman Verhovsek
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer games--Programming,Java (Computer program language),Portable computers--Programming
رده :
QA
,
76
.
73
,.
J38
,
F69
,
2002
652. Micro Java game development
پدیدآورنده : / David Fox and Roman Verhovsek
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Java (Computer program language),Portable computers- Programming,Computer games- Programming
رده :
QA76
.
73
.
J38
,
F69
2002
653. Microsoft Visual Basic game programming for teens /
پدیدآورنده : Jonathan S. Harbour.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Visual Basic.,Microsoft Visual BASIC.,Computer games-- Programming, Juvenile literature.,Visual Basic (Computer program language),Computer games-- Programming-- Juvenile literature.,Computer games-- Programming.,JUVENILE NONFICTION-- Computers-- Entertainment & Games.,JUVENILE NONFICTION-- Games & Activities-- Video & Electronic Games.,Visual Basic (Computer program language)
رده :
QA76
.
76
.
C672
H356
2008eb
654. Minicomputer software,proceedings of the IFIP conference on software for minicomputers
پدیدآورنده : / Edited by James R. Bell and C.Gordon Bell
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Miniature computers -- Programming -- Congresses,Programming languages ( Electronic computers) -- Congresses
رده :
QA76
.
6
I177
1975
655. Modern arm assembly language programming :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Assembly languages (Electronic computers) ;
656. Modern assembly language programming with the ARM processor
پدیدآورنده : Pyeatt, Larry D.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Assembly languages )Electronic computers(
رده :
QA
76
.
73
.
A8P93
657. Modern assembly language programming with the ARM processor /
پدیدآورنده : Larry D. Pyeatt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Assembly languages (Electronic computers)
رده :
QA76
.
73
.
A8
P943
2016
658. Modern business data processing
پدیدآورنده : / Daniel D. Benice
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Electronic data processing - Business,Programming languages (Electronic computers) - Business
رده :
HF5548
.
2
.
B46
659. Modern language models and computation : theory with applications
پدیدآورنده : Meduna, Alexander, 7591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Mathematical linguistics,، Programming languages )Electronic computers(,، Computational linguistics,، Computer systems
رده :
P
138
.
M43M6
660. Modern programming languages:apractical introduction
پدیدآورنده : / Adam Brooks Webber
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Programming languages(electronic computers)
رده :
005
.
133
B873m
